Class UML 2.4.1::LoopNode

Description:

A loop node is a structured activity node that represents a loop with setup, test, and body sections.

Direct Superclasses: StructuredActivityNode

Direct Subclasses:

Class Precedence List: LoopNode, StructuredActivityNode, Action, ExecutableNode, ActivityNode, RedefinableElement, Namespace, ActivityGroup, NamedElement, Element

Properties:

bodyOutput : OutputPin (0 *); -- source LoopNode

A list of output pins within the body fragment the values of which are moved to the loop variable pins after completion of execution of the body, before the next iteration of the loop begins or before the loop exits.
{ordered}

bodyPart : ExecutableNode (0 *); -- source LoopNode
decider : OutputPin (1 1); -- source LoopNode
isTestedFirst : Boolean (1 1); -- source LoopNode
loopVariable : OutputPin (0 *); -- source LoopNode
loopVariableInput : InputPin (0 *); -- source LoopNode
result : OutputPin (0 *); -- source LoopNode
setupPart : ExecutableNode (0 *); -- source LoopNode
test : ExecutableNode (1 *); -- source LoopNode
activity : Activity (0 1); -- source StructuredActivityNode
edge : ActivityEdge (0 *); -- source StructuredActivityNode
mustIsolate : Boolean (1 1); -- source StructuredActivityNode
node : ActivityNode (0 *); -- source StructuredActivityNode

Nodes immediately contained in the group.
{composite}
Subsets: ActivityGroup.containedNode, Element.ownedElement
Opposite: ActivityNode.inStructuredNode

variable : Variable (0 *); -- source StructuredActivityNode
context : Classifier (0 1); -- source Action
input : InputPin (0 *); -- source Action
isLocallyReentrant : Boolean (1 1); -- source Action
localPostcondition : Constraint (0 *); -- source Action
localPrecondition : Constraint (0 *); -- source Action
output : OutputPin (0 *); -- source Action
handler : ExceptionHandler (0 *); -- source ExecutableNode
inGroup : ActivityGroup (0 *); -- source ActivityNode
inInterruptibleRegion : InterruptibleActivityRegion (0 *); -- source ActivityNode
inPartition : ActivityPartition (0 *); -- source ActivityNode
inStructuredNode : StructuredActivityNode (0 1); -- source ActivityNode
incoming : ActivityEdge (0 *); -- source ActivityNode

Edges that have the node as target.
Opposite: ActivityEdge.target

outgoing : ActivityEdge (0 *); -- source ActivityNode
redefinedNode : ActivityNode (0 *); -- source ActivityNode
isLeaf : Boolean (1 1); -- source RedefinableElement
redefinedElement : RedefinableElement (0 *); -- source RedefinableElement
redefinitionContext : Classifier (0 *); -- source RedefinableElement
elementImport : ElementImport (0 *); -- source Namespace
importedMember : PackageableElement (0 *); -- source Namespace
member : NamedElement (0 *); -- source Namespace
ownedMember : NamedElement (0 *); -- source Namespace
ownedRule : Constraint (0 *); -- source Namespace
packageImport : PackageImport (0 *); -- source Namespace
containedEdge : ActivityEdge (0 *); -- source ActivityGroup
containedNode : ActivityNode (0 *); -- source ActivityGroup
subgroup : ActivityGroup (0 *); -- source ActivityGroup
superGroup : ActivityGroup (0 1); -- source ActivityGroup
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: result_no_incoming() : Boolean;
Description: The result output pins have no incoming edges.
Expression: true

Signature: input_edges() : Boolean;
Description: Loop variable inputs must not have outgoing edges.
Expression: true

Signature: executable_nodes() : Boolean;
Description: The union of the ExecutableNodes in the setupPart, test and bodyPart of a LoopNode must be the same as the subset of nodes contained in the LoopNode (considered as a StructuredActivityNode) that are ExecutableNodes.
Expression: true

Signature: body_output_pins() : Boolean;
Description: The bodyOutput pins are output pins on actions in the body of the loop node.
Expression: true

Operations:

No additional operations.

---

Send questions or comments to [email protected].